copper mined in puerto rico