“The 'modern' air-traffic-control system, and the FAA itself, was created in the aftermath of one of the most dramatic commercial midair bashes, way back in 1956.”