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.
Dirk@lemmy.ml 1 day ago
So, they discovered the concept of local names.