It's not like the State Department would ever mention Kim Jong the Second in documents.