3 ms·They would, but we're not discussing laws. Nobody has made a law changing the name of the Gulf.by foobarchu 2y agoThey would, but we're not discussing laws. Nobody has made a law changing the name of the Gulf.