Bowing to Trump, Google Maps plans to “quickly” rename the Gulf of Mexico