How many people were killed in the smallest mass execution in US history