It's a bit more complicated than that

You see, it really doesn't matter if the U.S. government gets the funds to spend. What many people don't know (or understand if they find out), the U.S. government prints money when it wants to. Well, actually, the (civilian) Federal Reserve does when the U.S. government needs them to and the "Fed" agrees. (You see, all the money belongs to the banks... which is what the Federal Reserve IS.) The ONLY job that the Federal Reserve has, is to make sure they -- the owners of the banks -- have lots of economic control (which is basically what money does. It keeps score.)

It really wouldn't matter if the "thief" of that BC wallet gave all that money back or not. All that has to happen, in the Bank's view, is make sure the "thief" CAN'T spend it. That would give the "thief" lots of economic power. The Banks have the options to either burn it all, freeze it where it is, kill the "thief", or otherwise make the money (where it is at) so none of it can be used. Then, if needed, the Fed just prints more.

Years ago, I forget the exact story, a team of bank robbers got away with hundreds of thousands of dollars. The cops really weren't that hot on getting the money back, they just wanted to get those who HAD it. Why didn't they care? All the money was explosively painted with red dye once it left the bank. (Poor robbers: all that work to get away with it and "it" was just useless paper.)