Hall, Robert E. (Robert Ernest), 1943-