پنتاگون: به یک ناوشکن آمریکایی و چندین کشتی تجاری در دریای سرخ حمله شد