When Google announced it was complying with US President Donald Trump’s executive order to rename the Gulf of Mexico to the Gulf of America, many Mexicans responded with a laugh and a long, exhausted sigh.

"As directed by the President, the Gulf of Mexico will now officially be known as the Gulf of America," the Interior Department stated in a statement last week. Google responded by noting that the change complies with its longstanding policy of aligning map labeling with updates in official government databases.

Google will rename the Gulf of Mexico and Alaska's Denali on its maps for users in the U.S. following President Trump's controversial executive order.

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.

Mexico's President Claudia Sheinbaum said on Wednesday that her government will send a letter to Google after the internet giant said it would change the name of the Gulf of Mexico for users of Google Maps in the United States.

Mexican President Claudia Sheinbaum on Thursday presented a letter the government is sending to Google arguing the Google Maps platform should not accept the change made by President Donald Trump to rename the Gulf of Mexico,

Google Maps will comply with President Donald Trump's executive order to rename the Gulf of Mexico to Gulf of America. This change will only apply users in the United States.

Google Maps said that it will rename the Gulf of Mexico as the Gulf of America on its maps app, saying that the change will take place when it has been updated in official government sources. Google also will change the name of Denali,

Sheinbaum presented a letter addressed to Google in which her government argues the US cannot unilaterally change the name of a body of water which it shares with Cuba and Mexico.

Mexican President Claudia Sheinbaum said its wrong to rename the “Gulf of Mexico” to the "Gulf of America" after President Trump ordered Google Maps to do so this week.

Google Maps is planning to comply with President Donald Trump's executive order to rename several American landmarks, including the Gulf of Mexico to the