Antiguo lavadero de mineral de Campomar, y Punta del Castillo