[xdarnold]

I'm not making that assumption - rather the opposite, which is why I mentioned the possibility of reimbursing people later. But this isn't strictly necessary. Pragmatically, you could double spend the coins back to the original owners and then make decisions about downstream action independently. Investigation of what happened to the stolen coins might provide more clarity on the best course of action there.