The Gulf of Mexico is now officially known as the Gulf of America.