The metal had hit an all-time record of around $11,100 a ton on Monday.

https://www.wsj.com/articles/copper-prices-slump-as-profit-taking-begins-e9861324