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 maps has changed the Gulf of Mexico's name to the Gulf of America for people using the app in the US. Explaining the move, Google said it was making the change as part of "a longstanding practice" of following name changes when updated by official government sources.