There’s a good chance Donald Trump doesn’t know who the leader of North Korea is