ارتش آمریکا از حمله موشکی به یکی از ناوشکن‌هایش در دریای سرخ خبر داد.