Prior to November 2026, the United States Congress had allocated more than $12 billion to update air traffic control equipment