نفتکش آمریکایی در دریای سرخ غرق شد؟