The Gulf of Mexico, the body of water that has been known by that name for more than 400 years, is now called the “Gulf of ...