Google has officially updated Maps to label the Gulf of Mexico as the "Gulf of America," following U.S. President Donald Trump 's executive order renaming the sea. Fortunately, the tech giant is also retaining the gulf's internationally recognised name which it has held since at least 1552 — at least, for non-American users.

Google is among the first companies to rename maps from Gulf of Mexico to Gulf of America. Other software leaders, like Apple Maps, are starting to follow suit.