Pyotr Mikhailovich Karpinsky — Russian mining engineer