That was a previous name, changed to Denali by Alaska in 1975 and at a federal level in 2015. See this link for the bizarre story of how Denali was once named after an Ohioan ex-governor, who later became president, who never visited Alaska in his life.