iron ore mining in the sea of indonesia