grava que mina la máquina minera de Puerto Rico