Isn't renaming a place rather common? Even nations were recently renamed (Swaziland, Macedonia).
Therefore the software (database included) managing the data (used by the USGS earthquake's) probably offers a way to rename a place.
Is there any documentation exposing how to perform such a renaming? Is it up to date and accessible (or did someone modify/hide it in order to annoy DOGE)? Was it not strictly followed by the person(s) who tried to rename this Gulf? Are all technical thingies associated to such a renaming free of major bugs?
If all answers to those questions are "yes" then the person(s) who tried to rename is the sole culprit.
If there is a single "no" then at least another person should be put into scrutiny.