EU launches mission to protect Red Sea shipping