John Lewis Thomas — American politician (1835-1893)