The Geographic Names Information System database changed the name of the Gulf of Mexico to the Gulf ... that it follows the database's names for landforms for all U.S. users.