President Trump signed an executive order to rename the Gulf of Mexico the Gulf of America. The federal government and military are already embracing the order, and Google Maps indicated it would also ...