«نیروی دریایی آمریکا از دریای سرخ اخراج شد.» این خبری بود که طی روزهای اخیر در سرتیتر بسیاری از رسانههای منطقهای قرار گرفت.