Fighting Maritime Piracy: Three Lessons from Pompeius Magnus