U.S. mining data from nine U.S. Internet companies in broad secret program (washingtonpost.com)