Según cifras oficiales, murieron 20 000 trabajadores.