286
Google officially changes the Gulf of Mexico to the Gulf of America on Maps
(www.usatoday.com)
This is a most excellent place for technology news and articles.
Personally I think that obeying in advance only makes it a riskier place for the employees, but it is not my decision to make.
Regardless, I don't see what issue the courts would have with a private company using the common name of a geographical feature instead of the official government name. That would be a violation of the 1st amendment protection of free speech from government intervention.