The body of water formerly known in the United States as the Gulf of Mexico is now listed for U.S.-based users of Google Maps as the Gulf of America.