US Coking Coal Exports Partly Recover in 3Q