with Google Maps adding the Gulf of Mexico's new Trump-mandated label in parenthesis when viewed from outside the U.S., and completely renaming it to the Gulf of America for those within it.
Governments frequently disagree over the names of places. Here’s how mapping apps have dealt with various feuds.