Había 3500 mineros córnicos y sus familias viviendo en Pachuca y Real del Monte.