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.”