Google Maps will rename the Gulf of Mexico as the Gulf of America, following Trump