EU extends Red Sea naval mission until 2027