حادثه دریایی در آب‌های دریای سرخ