Fighting maritime piracy: three lessons from pompeius magnus