US coking coal exports continue to rise in May