Pyrolysis characteristics of a North Korean oil shale