NBC: Hotline between military and air traffic controllers in Washington hasn't worked for over 3 years