سقوط جنگندهٔ اف‌۱۸ آمریکایی در دریای سرخ