Thanks for the response. That was my guess, but I'm not finding any documentation on the use of petroleum products for it. The US didn't get its first producing well until almost 1860 (1859?). Russia was drilling and doing some refining in the 1830s. I'm tending to lean more towards some form of animal fats such as tallow or lard. But, again, that is a guess.