Google Maps has changed the Gulf of Mexico's name to the Gulf of America for people using the app in the US.
Axar,az reports that 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.
It said the Gulf - which is bordered by the US, Cuba and Mexico - would not be changed for people using the app in Mexico, and users elsewhere in the world will see the label: "Gulf of Mexico (Gulf of America)".
It comes after President Donald Trump ordered the body of water to be renamed in US government documents after he returned to office last month.
Mexico had decried the move, arguing that the US had no legal right to change the gulf's name.
The change was made by Google on Monday after the Geographic Names Information System, a US government database run by the Interior Department, listed an update to the Gulf's name.