The U.S. is short about 3,000 air traffic controllers.