No, no. All they have to do is prove that they aren’t stolen and they get to keep them. /s
Isn’t it up to the gubmint to prove that they are stolen with identifiable lists and numbers and all the other stuff the IRS would require of a private citizen?
The gold coins are theirs to keep, because the statute of limitations expired and made the gold coins the property of whoever possesses them.
You can steal gold bars from the U.S. Government at Fort Knox and get to keep them, so long as you remain in and subject to the jurisdiction of the courts until the statute of limitations has expired.