EU decides to launch military operation against Yemeni Houthis in Red Sea