gwern comments on Is visiting North Korea effective?