Varner, Robert E. (Robert Edward), 1921-