“Rio Tinto exited the coal business in 2018.”