Red Sea, Gulf of Aden