The Trump administration has officially implemented name changes for Alaska’s Mount Denali and the Gulf of Mexico, as requested by the new president.
The Interior Department announced Friday that the Gulf of Mexico will now officially be known as the Gulf of America and North America’s highest peak will once again bear the name Mount McKinley to “honor the legacy of American greatness.”
Well time to write a script to rewrite all occurrences of [Mt. McKinley | Mount McKinley] to “Mount Denali” and same goes for the ole Gulf
Edit: my NAS should maybe be renamed Denali too, in fact.
I think it’s just “Denali,” not “Mount Denali”