gold mining tools in Puerto Rico