US thermal coal exports jump to five-year high in September: Census