US coking coal exports decline amid cuts