I was actually reading the other day they still have them. they just got permission to start auctioning them off soon.

https://www.coindesk.com/us-government-to-sell-off-10-million-in-seized-bitcoin-and-bitcoin-cash/