Google announced that it will rename the Gulf of Mexico to Gulf of America in the U.S., following President Donald Trump's announcement regarding the matter. "When official names vary between ...