Thomas, John L. (John Lewis), 1835-1893