the mining boom from the 1800s