The federal government, including the military, is changing the name on maps to "Gulf of America." Even Google suggested it would make the change.

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.

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.

Following President Trump’s order renaming the Gulf of Mexico, at least in the United States, Mexicans and Cubans expressed annoyance, defiance, confusion and even amusement.

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.

Google will rename the Gulf of Mexico as the Gulf of America and restore Denali in Alaska, the highest peak in North America, to its previous name, Mount McKinley.

Google said the name changes, which also includes using Mount McKinley, will happen when Geographic Names Information System (GNIS) is updated.

Google Maps will rename Gulf of Mexico to 'Gulf of America' and Mount Denali to 'Mount McKinley,' after federal approval. Here's what to know.

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. The company said Monday that it will only make changes when the government updates its official listings for the body of water

Google plans to change the name of the Gulf of Mexico to Gulf of America and that of the Alaskan mountain Denali to Mount McKinley in Google Maps, the company said Tuesday in a series of tweets. The news follows President Donald Trump's executive order to rename the body of water and mountain on his first day in office.

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