Q2 output from ten leading copper miners declined collectively by 3.7% y-o-y