Gildersleeve, Thomas R.(Thomas Robert),1927-