Entre 300 y 1.500 obreros fueron fusilados o muertos.