EU to launch anti-piracy mission off Somalia coast