Alaskans actually prefer Denali, even the republicans didn’t want the name changed back again. The state of Alaska itself officially adopted Denali as the official name in 1975, long before Obama made the political statement you are hallucinating. This is just Trump making a statement pretending that Obama was being woke rather than requesting something the Alaskans requested on their own.