To my knowledge, there was no order to execute him. Do you have information which is different?
It was a question I asked originally. Ask those who said he should have died.