The U.S. renamed the Gulf of Mexico as the Gulf of America, but the name change is only apparent on digital maps seen in the U.S. Mapping companies navigate political tensions over disputed areas by ...