The index of mineral production of the mining and quarrying sector for the month of May 2023 (Base: 2011-