aunque ya para entonces habían muerto catorce mil setecientas personas, sin contar los que habían muerto antes, durante la rebelión de Coré.