‌a person, especially an official, whose role or job is to kill convicted people as a means of punishment