جزئیات غرق‌شدن جنگنده آمریکایی در دریای سرخ بر اثر حمله انصارالله