Erik Odelstierna — Swedish mining official (1723-1805)