برنامه اتحادیه اروپا برای عملیات دریایی در دریای سرخ