It’s a long story, but the bottom line is that neither side is disputing that the coins were stolen.
The government would have made more if it allowed the people to sell the coins, and then pay income tax on the proceeds.
Instead, the IRS threw away a chance for a few million in revenue.