Piracy: EU extends naval presence in Gulf of Guinea to February 2024