Thomas James Gorden Overton (1913-1977)