Miller, Jack R. (Jack Richard), 1916-