I've seen bitcoin for sale on GSA auctions before. But $200 million seems like a lot for a single auction