Con todo, catorce mil setecientas personas murieron, sin contar las que perdieron la vida por causa de Coré.