US thermal coal exports reach 5.5-year high