Google Maps officially updated the name of the Gulf of Mexico to the Gulf of America on Monday. Among many other executive orders, President Donald Trump decreed on the day of his inauguration that the Gulf of Mexico would be renamed the Gulf of America.…