Google made the change starting Monday. It followed an updated site listing for the Gulf in the Geographic Names Information System, a government database run by the Interior Department that ...