y mató cerca de 10 000 personas.