the gulf formerly known as