The US Gov't Sells Its BTC Stack