Booth, Robert E. (Robert Edmond), 1917-