Google says it will take its cue from the U.S. government if it has to change the names of the Gulf of Mexico and Denali on its Maps service.

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 said it would follow the Trump administration in renaming the Gulf of Mexico once the new name is updated in government sources.