Indonesia sets Oct HBA thermal coal price at $100.89/mt, down 3.7% on month