"El resultado final fueron 63 muertos del ejército y más de cuatrocientos de la población civil, sin contar las víctimas posteriores de unas represalias salvajes".