The US federal government by law has to follow what names the United States Board on Geographic Names tells them to, and the executive order demanded they change it. He could have changed it to the Gulf of the King Donald Trump That Had Absolutely Nothing To Do With Epstein Honest, and that would officially be the name for it every US federal employee would have to use.

Nobody else has to use it though, but most companies follow what each local government says to not have issues with borders and stuff.

[–] Taldan@lemmy.world 2 points 1 week ago (1 children)

If the federal government has to use the changed name, why do so few agencies not use Golf of America? FAA still uses Golf of Mexico

[–] JohnEdwa@sopuli.xyz 3 points 1 week ago

Takes time to switch. Normally these things would be done sensibly and with enough time allocated for the changeover, not by an executive order that's active immediately and may or may not actually be something the president even has authority to do.

https://www.faa.gov/air_traffic/flight_info/aeronav/safety_alerts/media/NASR_25-01_DPN_Gulf_of_American_Change.pdf