The blood-red waters of the Rio Tinto mine in Andalusia, Spain