The FAA has issued notices, changing NOTAMs from “Air Missions” to “Airmen,” and renaming the Gulf of Mexico as the Gulf of America.