خروج سه کشور اروپایی از ائتلاف دریای سرخ