After President Donald Trump’s executive order to rename the Gulf of Mexico as the Gulf of America, most major mapping services, including Google and Apple Maps, have complied. But one platform is ...