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 said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.

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

A supermajority of Americans don’t approve of renaming the Gulf of Mexico to the “Gulf of America,” according to the results of a new poll. Around 70% of respondents to the latest Reuters/Ipsos survey opposed the move, with 25% of respondents supporting it. The rest were unsure.

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

A move to have Arkansas recognize the Gulf of Mexico as the Gulf of America has died in committee Wednesday morning.

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.

On Tuesday night, President Donald Trump issued a pardon to Ross Ulbricht, who ran the dark web marketplace Silk Road under the pseudonym “Dread Pirate Roberts.” Ulbricht has been serving a life sentence without parole since 2015, when he was convicted of multiple charges, including the distribution of narcotics.

President Donald Trump wants to rename the Gulf of Mexico to the Gulf of America. But, of course, the name America, like Mexico, is of Hispanic origin, Noel Holston writes. Above, a view of the shore along the Gulf of Mexico looking north on Treasure Island Beach in 2023 in Pinellas County,

Cedar Key aquaculture farms were ripped apart by hurricanes, leaving nets all over the Big Bend Aquatic Preserve.