US thermal coal exports rise to 4-month high