molino de las Peñas que aparece en el catastro de ensenada