The Rio Tinto river, known as the Red River