Gulf of Mexico or Gulf of America? Google Maps and contentious geography

United States President Donald Trump’s executive orders have crept into the realm of digital cartography. Google announced on Monday that its online mapping platform, Google Maps, will change the name of the Gulf of Mexico to the Gulf of…