The wire service said the decision stemmed from a style guidance to continue using the name Gulf of Mexico instead of Gulf of ...