خط‌ونشان واشنگتن در دریای سرخ