Richard Thomas — English civil engineer, born 1779