An executioner; a person who kills another brutally but lawfully.
“Great Hector's deaths-man.”
Heywood: Iron Age.