The reports said the leaked documents have the real names and ages of those secret agents ... national, of Korean descent, may have been an informant working for North Korea’s spy agency.