Robert Vaughan Ridge — (1912-1987)