how many people were executed