Google is right to change the Gulf of Mexico's name in its Maps app in the US

> That’s where people are giving Google a hard time

You link to other relevant material in this post, but not actual criticism of Google. So is there any actual criticism or just an impression of some?