Governments frequently disagree over the names of places. Here’s how mapping apps have dealt with various feuds.