Leuchtenburg, William E. (William Edward), 1922-