The FBI revealed how it found the Silk Road servers. Was the search legal?