Google Maps now shows the “Gulf of America” in place of the “Gulf of Mexico” for users on both web and mobile in the United States. It made the change after the Trump administration formally changed the name today of the body of water spanning between the eastern coast of Mexico and Florida.

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.