خروج متحدان اروپایی آمریکا از عملیات در دریای سرخ