Hubo más de 7.000 civiles muertos.