Richard Jarvis — American industrialist (1829-1903)