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.

One of US President Donald Trump’s first actions upon returning to power was ordering the Gulf of Mexico to be renamed. But mapmakers are still largely waiting for the green light.

The tech company said Monday it has a “longstanding practice of applying name changes when they have been updated in official government sources.”

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 said Monday it will soon display the Gulf of Mexico as the “Gulf of America” whenever the federal government updates its official maps, bowing to President Donald Trump’s declaration the region be renamed.

Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its Maps service.

The executive order will direct the secretary of the interior to change the name to "Gulf of America” for use on official maps and throughout the federal government, according to the New York Post, which first reported the news. Trump has nominated Republican North Dakota Gov. Doug Burgum to the Department of Interior.

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.

Among the first executive orders signed by President Donald Trump was an order to rename the Gulf of Mexico to the newly named "Gulf of America." "President Trump is bringing common sense to government and renewing the pillars of American civilization," the newly inaugurated president's executive order said.

President Donald Trump found time during his busy inauguration day to issue a dizzying number of executive orders and begin reshaping the federal government to fulfill his promises to supporters. One of those was changing the name of the Gulf of Mexico.

Google Maps has said it will rename the Gulf of Mexico to the Gulf of America after Donald Trump ordered the change.

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,