Sen. Ted Cruz asked whether a hotline between military and civilian air traffic controllers in Washington, D