What’s Kim Jong-un’s Surname? Mike Pompeo Is Learning the Hard Way May 10, 2018 2018 at 05:00AM NYT What’s Kim Jong-un’s Surname? Mike Pompeo Is Learning the Hard Way World May 9 +