Ivan Rukavishnikov — Russian mining engineer (1843–1901)