The Geographic Names Information System database changed the name of the Gulf of Mexico to the Gulf of America earlier this week. It came after President Donald Trump's executive order on his first day in office calling for the change and the Department of the Interior's adoption of the new name last month.

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.