EU launches Red Sea naval mission to protect shipping from Houthi attacks