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.

Google Maps said it would change the name of the Gulf of Mexico to Gulf of America once it is officially updated in the U.S. Geographic Names System.

The board voted to change the name and took its request to the county commissioners. When the county agreed, the request was then sent to the Minnesota Department of Natural Resources, which made it official for Minnesota. Then, the state of Minnesota sent the request to the Board on Geographic Names, which made it official for the entire U.S.

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

The change will likely only be visible to users based in the United States. As part of what it described as a longstanding practice, Google added, "When official names vary between countries, Maps users see their official local name. Everyone in the rest of the world sees both names. That applies here too."

WSLS 10 News will follow the Associated Press' guidance when referring to the Gulf of Mexico and Mt. McKinley following President Donald Trump’s executive orders to rename them.

Google said it would change the name of the Gulf of Mexico to the “Gulf of America” for its Google Maps users in the United States to stay in line with President Donald Trump’s executive order making the switch.

Google Maps will change the name of "Gulf of Mexico" to "Gulf of America" once it is officially updated in the U.S. Geographic Names System, Google said in an X post on Monday.

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.”

Google Maps has a history of changing place names and world borders for different users in different locations, especially during geopolitical disputes. Geographers say those changes, including the one this week,

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.