South Korean government looking into CNN report, which cited anonymous US official