Gulf naming issue finalized