The tech company said Monday it has a “longstanding practice of applying name changes when they have been updated in official government sources.”

Among the first executive orders signed by President Donald Trump was an order to rename the Gulf of Mexico to the newly named "Gulf of America." "President Trump is bringing common sense to government and renewing the pillars of American civilization," the newly inaugurated president's executive order said.