Se calcula que murieron hasta 6,000 cholultecas.