'The United States Attorney’s Office for the Eastern District of New York and the Department’s National Security Division also filed today a civil forfeiture complaint against approximately 127,271 bitcoin, currently worth approximately $15 billion, that are proceeds and instrumentalities of the defendant’s fraud and money laundering schemes, and were previously stored in unhosted cryptocurrency wallets whose private keys the defendant had in his possession. Those funds (the Defendant Cryptocurrency) are presently in the custody of the U.S. government. The complaint is the largest forfeiture action in the history of the Department of Justice.'

Would these 127,271 Bitcoin then go into the US Bitcoin Reserve Fund?