20030225 unknown: China mine gas explosion kills 23