U.S. lost $17n by selling seized Bitcoin too early