حمله موشکی یمن به نفتکش سعودی در دریای سرخ؛ تنش‌های دریایی افزایش یافت