Federal officials have been raising concerns about an overtaxed and understaffed air traffic control system for years, especially after a series of close calls between planes at U.S. airports.

Emails to air-traffic controllers, according to a second air-safety union president, came “from an ‘exec order’ Microsoft email address” — not a government email address.