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

“People using Maps in the US will see ‘Gulf of America,’ and people in Mexico will see ‘Gulf of Mexico.’ Everyone else will see both names,” Google wrote.

Google said the change aligns with its policy of following official US government geographic designations through the Geographic Names Information System.

Upon taking office, Trump signed executive orders not only changing the name of the Gulf of Mexico but also reverting the name of Denali, America’s highest peak, to its former moniker Mt McKinley.

In 2015, then-president Barack Obama officially recognised the Alaska mountain as Denali, the name used by Alaska Natives for centuries.

Trump’s renaming sparked criticism from indigenous groups in Alaska, who have long advocated maintaining the Denali name, and raised diplomatic concerns with Mexico.

Mexican President Claudia Sheinbaum has cheekily suggested calling the US “Mexican America,” pointing to a map from before one-third of her country was seized by the US in 1848.