The rio tinto mining company (1956)