Google Maps rolled out the Gulf of America name for US users after a federal update, while users in Mexico see Gulf of Mexico ...