for all practical purposes, the name is already changed
You’re right. We spent 5 months in Alaska in 2008, and never heard it called McKinley, only Denali.
Done. White House announced the change today...on a Sunday...while Congress is on break...to remove the name of an assassinated Republican President. Of course they did.