TAIYUAN, May 13 -- A coal mine gas leak left four people dead in north China's Shanxi Province Tuesday, local authorities said.

The accident took place at about 2 p.m. at the mine shaft in the city of Yangquan, according to the Yangquan Coal Industry (Group) Co. Ltd., which owns the mine.

An investigation into the cause of the accident has been underway.