old mining shovel in Costa Rica