A hotline between military and civilian air traffic controllers in Washington, D.C., that hasn’t worked for more than three ...