Gilman, Benjamin A. (Benjamin Arthur), 1922-2016