Thomas Lewis — miner and president of the United Mine Workers of America