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.

Changing maps to say "Gulf of America" doesn't change history, and likely won't change what most people call the massive basin

Still, if we do want to rename the Gulf of Mexico, our best bet would be to give it a name that sounds so indisputably cool that everyone would agree, territorial issues aside, that’s just a darn good name for the thing. In the interest of global harmony, here are some suggestions for what to call the Gulf of Mexico going forward.

Mexican President Claudia Sheinbaum has an answer for President Donald Trump about his idea of renaming the Gulf of Mexico to the “Gulf of America:” he can call it whatever he wants on the American part of it.

Google is planning to update Google Maps to show the Gulf of America, after President Trump's executive order which renames the Gulf of Mexico. Here's when that will happen.

Google will rename the Gulf of Mexico and Alaska's Denali on its maps for users in the U.S. following President Trump's controversial executive order.

Columnist Mark Patinkin ponders new names for Rhode Island and it's cities and towns as the Gulf of Mexico gets renamed.

Though U.S. maps will reflect Trump's new name for the body of water, the rest of the world will continue calling it the Gulf of Mexico

President Donald Trump is renaming the Gulf of Mexico the Gulf of America. But how will that change go into effect – and will everyone call it that?

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

The Gulf of Mexico will be renamed to the Gulf of America on Google Maps, the company announced on Monday, following updates from official government sources