Google Maps Labels the Gulf of Mexico (Gulf of America) in the US, UK and Mexico

Discussion (66 points, 10 hours ago, 116 comments) https://news.ycombinator.com/item?id=43007052