The icing on the cake --- Korea buys gold, while we (the USA) have maintained a position on their border with No. Korea for the last 50+ years. I say let's bill them for the protection -- 25 tons of gold sounds like the right price.