The state of Alaska requested the name change in 1975, but the Board on Geographic Names didn’t take action. Members of the Ohio congressional delegation – President William McKinley was from Ohio – objected over many years to requests to rename the mountain, and the board did not act on those requests.

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

Donald Trump will order the renaming of the Gulf of Mexico and Alaska’s Mount Denali in his first hours as the 47th president, The Post has learned.

Google will rename the Gulf of Mexico and Alaska's Denali mountain in Google Maps once a federal mapping database reflects changes ordered by the Trump

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.

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

Shortly after being sworn in as the 47th President of the United States, Donald J. Trump signed a bunch of executive orders in the Oval Office.

Google said on Monday that it will change the name of the Gulf of Mexico to “Gulf of America” in Google Maps once it is updated in the U.S. Geographic Names System. Google Maps will

Trump also renamed Denali, North America’s tallest peak, as Mount McKinley, despite objections from Alaska’s senators.

The Gulf of Mexico, a 218,000-square-mile oceanic basin, has been named as such for at least 400 years by European explorers and mapmakers. It spans the eastern coast of Mexico, the southeastern U.S., and the western end of Cuba, connecting to the Caribbean Sea and the Atlantic Ocean.

Trump signed an executive order the day of his inauguration, saying the gulf was “ours” and that it should be renamed alongside the tallest peak in North America. The order moved to rename Denali in Alaska — which has been known as such since 2015 — back to Mount McKinley. Denali is the peak’s Alaska Native name.