سقوط یک جنگنده آمریکایی در دریای سرخ