US coking coal exports partly recover in 3Q