metal mining in puerto rico mountains information