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.

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.

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.

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.

While the Gulf of America will be applied to federal references, other nations will not be required to recognize the name.

Google said it would rename the body of water to “Gulf of America” after it is updated in the U.S. government system in response to Trump’s executive order.

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.

Google Maps will soon rename the "Gulf of Mexico" to "Gulf of America" and Denali to "Mount McKinley" in compliance with Trump's order.

Despite President Donald Trump’s calls to “drill, baby, drill,” many oil companies operating in the Gulf of Mexico will likely do what they’ve done for years: sit on hundreds of untapped oil leases across millions of acres.

Professor Ryan Weichelt is the department chair for the geography and anthropology department at UW-Eau Claire. He says that this change is not a universal change, and that it’s up to different administrations or institutions to decide what they want to call the gulf. However, it is being formally changed on some maps.