Governments frequently disagree over the names of places. Here’s how mapping apps have dealt with various feuds.
President Trump’s order changing the Gulf of Mexico to the Gulf of America prompted communities along the coast to think ...