US thermal coal exports reach 5-year high