هلند ناوچه جنگی به دریای سرخ اعزام می‌کند