Comment on Google Maps will rename Gulf of Mexico as Gulf of America in the U.S.. However, users in Mexico will see “Gulf of Mexico,” and the rest of its 1 billion monthly users will see both names.
It’d just result in a filter on all reports on that location. Only thing being inconvenienced is one programmer.