What kind of oil did the first diesel engine run on?