Davidmanheim comments on Should Effective Altruism be at war with North Korea?