Los Angeles (CNN) — The body of water formerly known in the United States as the Gulf of Mexico is now listed for US-based users of Google Maps as the Gulf of America. The change follows an executive...