Thompson, Thomas F. (Thomas Francis), 1916-