US thermal coal exports climb to nine-month high: Census