ejecutor de la pena capital