Thomas Vaughan — 17h-century Jacobite privateer and pirate