Lavabit’s Closure Marks the Death of Secure Cloud Computing in the US