Google Maps renamed the Gulf of Mexico to the Gulf of America after Trump’s order, sparking global debate as Mexico opposes the move, citing maritime law.

The tech giant wrote in a blog post that users outside the United States will continue to see both the original and new name for the Gulf of Mexico, as is the case for other disputed locations.

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.