3 ms·Google Maps Will Rename Gulf of Mexico to Gulf of America in US1 points by hcarvalhoalves 2y agoChrisArchitect 2y ago[dupe] https://news.ycombinator.com/item?id=42847758 https://news.ycombinator.com/item?id=42847758