E os que morreram naquela mortandade foram catorze mil e setecentos, sem os mortos pelo negócio de Coré.