Thomas, Richard,1920-