Leak of military secrets on Discord marks a new step for social media (Washington Post)