Con ello duplicamos la participación del sector público en la minería nacional.