Details of the European mission to protect ships in the Red Sea