📒 a person whose job or role is to kill people as a punishment, especially a public official who executes criminals