按照朝鲜官方的说法，金日成在抗日战争里的歼敌数字是多少？是否比18万还多？