رویترز: ۵ نفتکش در دریای سرخ تغییر مسیر دادند؛ فشار بر ارتش آمریکا