Who executed the other executioners?