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.

You might be hearing about the gulf off the coast of the U.S. and Mexico. Here's what to know about the body of water the size of Alaska.

Mexico's President Claudia Sheinbaum said on Wednesday that her government will send a letter to Google after the internet giant said it would change the name of the Gulf of Mexico for users of Google Maps in the United States.

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.

Mexican president says President Trump can call the gulf whatever he wants but that the world will still call it the Gulf of Mexico.

We don’t think it’s going to happen really,” she said during her daily morning news conference on Wednesday, just days before Trump’s threatened tariffs might begin. “And if it happens, we also have our plan.

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 has the power to rename the Gulf of Mexico to the Gulf of America, but whether people will call it that is an open question.

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

Just days later, the Gulf of America has become a real thing.

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