Just saw on CBS news Google is actually renaming the Gulf to Gulf of America on its maps