The company said it would stick to its “longstanding practice” of showing the local official name for a geographical areas when when "official names vary between countries."

Gulf of Where? In the same name-swapping order, designed to take effect by mid-February, Trump declared that the Gulf of Mexico will now be known as the Gulf of America “in recognition of this flourishing economic resource and its critical importance to our Nation’s economy and its people.”