Who cares what the gulf is called ... keep pushing the government on other more important issues.
The goal of the whole renaming stupidity is distraction and deflection ... keep everyone occupied and angry over stupid meaningless things while you go somewhere and do shit you don't want people talking about.
Journalists should just ignore the whole gulf idiocy and move on to talking about real important things like what the hell is an unelected billionaire doing in running government.