I think he should have been tied up so that the locals to beat him to within an inch of his life then throw him solitary.  Let him recover and do it again for the rest of his life. Death Penalty can be useful, but it it was more or less an easy way out for him.  His needed to suffer