I looked at this link, but I don't see anything that tells me these coins have obviously been destroyed. How exactly do we know the coins have been destroyed?