“A gas explosion at a coal mine in China's Shanxi province killed at least 90 people.”