هلند اعلام کرد که به‌دنبال تحولات در دریای سرخ ، یک کشتی جنگی به این منطقه اعزام خواهد کرد .