 One went so far as to say, "the total number of battle victims and casualties of repression and consequences of the war might have reached, by the end of the pacification period, four or five times that – somewhere in the neighborhood of 15,000 persons.