 But it wasn't until 1880, and the arrival of the New York-based Rosario Mining Company, that the area was transformed.Over the next few decades, the towns of El Rosario and San Juancito swelled in population from a few hundred to more than 40,000.Trees were chopped down to provide lumber for houses and offices and to reinforce mine shafts.