President Donald Trump, through an Executive Order, has renamed the Gulf of Mexico “Gulf of America”. Certainly, he can change the name for official U.S. purposes, but he can’t dictate what the rest of the world calls it.

Google Maps began using “Gulf of America” for users in the U.S., saying it had a “longstanding practice” of following the U.S. government’s lead on such matters. But “Gulf of America”appears only as a parenthetical to “Gulf of Mexico.” Users in Mexico will see Gulf of Mexico, and maps will display both names for those logging in from other countries.

In 2012, President Noynoy Aquino renamed parts of the South China Sea “West Philippine Sea.” While many Filipinos now use West Philippine Sea, it is, like Gulf of America, technically for internal purposes. For Google Maps users, “West Philippine Sea” appears as a red “pin” superimposed against the vast South China Sea.

Ultimately, it is the International Hydrographic Association which has the final say in renaming bodies of water while underwater feature names are within the purview of the U.N. Intergovernmental Oceanographic Commission.

For now, all Trump gets is the name Gulf of America in parenthesis, after Gulf of Mexico.

As for the West Philippine Sea, the name can appear on Google maps, not in parenthesis but as a red pin.