US thermal coal boosted July coal exports