Fleming, Thomas J., 1927-2017