Trump’s renaming of the Gulf of Mexico is part of a long tradition of deploying cartography in the service of power ...