https://finance.detik.com/bursa-dan-valas/d-7276594/divestasi-saham-vale-dikejar-rampung-juli-ini-tahapannya