As of Wednesday night, map applications for Google and Apple still called the mountain and the gulf by their old names.

Trump’s renaming of the Gulf of Mexico to the “Gulf of America” highlights the politics of map naming, sparking debates, social media snark, and mixed reactions globally and domestically.