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.

Following President Trump’s order renaming the Gulf of Mexico, at least in the United States, Mexicans and Cubans expressed annoyance, defiance, confusion and even amusement.

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.

Google says it has a longstanding practice of applying name changes when they have been updated in official government sources.

It is the firm's "longstanding practice" to observe updates from official sources - in this case requested by Donald Trump.

After taking office, President Donald Trump ordered that the water bordered by the Southern United States, Mexico and Cuba be renamed to the Gulf of America. He also ordered America’s highest mountain peak be changed back to Mt. McKinley.

Google said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.

President Donald Trump signed an executive order requiring the names to be changed on official maps and federal communications.

This comes after President Trump signed an executive order on Inauguration Day that ordered the name Mt. McKinley be reinstated and the Gulf of Mexico be renamed.

The federal government, including the military, is changing the name on maps to "Gulf of America." Even Google suggested it would make the change.

Google Maps will rename Gulf of Mexico to 'Gulf of America' and Mount Denali to 'Mount McKinley,' after federal approval. Here's what to know.