Récord de obra pública, sobre todo hídrica, con los fondos de la minería