Copper nears $13,000 in record post-Christmas catch-up trade | Metals Mine