6
This reminds me of when I visited Alaska over a decade ago. I thought it was the strangest thing that people there referred to Mt. McKinley as Denali. I was surprised to find out later that the name was officially changed to Denali in 2015.
It's nice to see these landmarks restored to their original names. The stories behind these original names are far more interesting anyway.