“The total stock of gold ever mined is approximately 200,000 tons.”