I agree that they will never get the gold back, but is it really more likely that the US hands over that sum in cash?