A sudden explosion of rock in a coal mine after a small earthquake in central China…