Gordon Thomas — mayor of East Lansing, Michigan (1914–1997)