rock salt mining 1880s