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.

Donald Trump used an executive order on Monday to rename two American landmarks. In one of his first acts as president, Donald Trump used an executive order on Monday to rename the Gulf of Mexico and Denali in Alaska.

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