There is a difference between the coins that were left unsecured in seized SR servers, and DPR's coins. The US cannot put the latter on sale unless a) DPR is convicted of a crime and has exhausted his appeals, b) he voluntarily surrenders his private keys.