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 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 tech giant revealed the reasons behind the proposed changes on social media after receiving questions from users.