oficial (sustantivo masculino): Funcionario que ejecutaba la pena de muerte.