There's a public process the agency is required to go through for changing names of places. Trump bypassed that and had the USGS update the GNIS with the name change through an Executive Order and not through the BGN. When called out on it they tried to get it through Congress, but the Senate didn't approve the name change.
It isn't the Gulf of America.
The board actually did vote on the name in 2006, but rejected it.