Jumlah Tenaga Kerja Indonesia dan Asing di Sektor Pertambangan RI Berdasarkan Jenis Izin (Kuartal III 2023)