The cheaper, more efficient fuel began to drive whale oil out of the market.