Documents shed light on Russian hacking of Democratic Party leaders (Washington Post)