Copper Prices Hit $10,000 a Ton. Are Investors Too Bullish?