خروج ناوهای جنگی آمریکا و متحدانش از دریای سرخ