مانور دريايی مشترک آمريکا، اسرائيل و کشورهای عربی در دريای سرخ