Executant de la pena de mort