Comment on How come nobody does anything about North Korea?