In a post on X, Google said it will follow the government’s lead by changing the name of the Gulf of Mexico to "Gulf of America."

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.

Soon Google Maps will change the name of the Gulf of Mexico to the Gulf of America. In a social media post, Google explained it has a longstanding practice of changing names that have been updated in official government sources. The name will be tweaked when the government databases is updated.

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.

Google plans to change the name of the Gulf of Mexico to Gulf of America and that of the Alaskan mountain Denali to Mount McKinley in Google Maps, the company said Tuesday in a series of tweets. The news follows President Donald Trump's executive order to rename the body of water and mountain on his first day in office.

Michigan Attorney General Dana Nessel has joined other attorneys general in challenging Trump on that. She applauded a Ronald Reagan-appointed federal judge on Thursday, Jan. 23, for issuing a temporary restraining order blocking Trump’s order and declaring it “blatantly unconstitutional.”

“Denali” is the mountain’s preferred name for Alaska Natives. Former President Barack Obama ordered it changed in 2015 from its previous name “McKinley,” which was a tribute to President William McKinley, designated in the late 19th century by a gold prospector.

Google is complying with President Donald Trump’s executive action that renamed the Gulf of Mexico to the Gulf of America. Soon, the name change will appear on Google Maps.

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

The Trump administration’s budget freeze on federal grants and loans will affect more than 2,600 accounts across the government. Beginning at 5 p.m. on Tuesday, tens of billions of dollars directed to the likes of the Pentagon,

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 Maps has said it will rename the Gulf of Mexico to the Gulf of America after Donald Trump ordered the change.