The body of water formerly known as the Gulf of Mexico has now been formally renamed in the Geographic Names Information ...