The name of this object has not changed yet. The entity that specifies the name is the US Board of Geographic Names (https://www.usgs.gov/us-board-on-geographic-names/domestic-names), and they still call it the "Gulf of Mexico" (https://edits.nationalmap.gov/apps/gaz-domestic/public/search/names/558730).