Google Maps will rename Gulf of Mexico to Gulf of America in US