On his first day in office, Trump issued an executive order renaming the Gulf of Mexico and Mount Denali, stating that the “naming of our national treasures, including breathtaking natural wonders and historic works of art, should honor the contributions of visionary and patriotic Americans in our Nation’s rich past.”

Google says it has a longstanding practice of applying name changes when they have been updated in official government sources.