US defence department funded Carnegie Mellon research to break Tor