Willis Benson Machen — American politician (1810–1893)