From PBS and Frontline: Last year Edward Snowden downloaded tens of thousands of top-secret document