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

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.