ekdikos (Greek #1558)
carrying justice out, i.e. a punisher
KJV usage: a (re-)venger.
Pronounce: ek'-dik-os
Origin: from 1537 and 1349