Practically speaking, at this point the government is probably in possession of the private keys and could authorize reverse transactions to restore the stolen crypto.

The larger question is a question of policy and law... Does the government even consider entries in a blockchain ledger to be "returnable stolen property?"