20170508 world.china: Gas leak in coal mine in central China kills 18 workers