Thomas Christopher Jenkins — Pittsburgh millionaire grocer (1832-1907)