So ... are we still calling it the Gulf of Mexico, as it's been known for 400 years? Or is it really the Gulf of America now, pursuant to President Trump's executive order? That tension — between the formal policy of the U.S. and longstanding common practice — is a real one for government agencies, map makers and even journalists. The Interior Department told AP it will abide by Trump's name change, and Florida Gov. Ron DeSantis has also embraced "Gulf of America." But the U.S. does not exclusively control the gulf — it's not entirely up to us what it's called.

Google and Apple Maps are both sticking with Gulf of Mexico. So is AP style, the gold standard for news writing. Yes, but: AP style will adopt Trump's name change in Alaska, where he ordered the mountain known as Denali to revert to its past name, Mt. McKinley. Because the mountain is entirely contained within the U.S., it's the president's decision what to call it, AP explained.