Much of the mining takes place in the nearby red "Cerro Rico" (literally, "Rich Mountain" in English), which was given its ...