Judge Who Authorized Police Search of Privacy Activists Wasn't Told About Tor