US coking coal exports to Europe, India surge; China registers significant drop