Actually, it is. Coal oil was marketed under the brand name of Kerosene before it was ever made from petroleum.Coal oil is not the same as kerosene.
Just south of Moundsville West Virginia back in the early 1970's consolidated coal had a cracking refinery where they were making gasoline out of coal for 11 cents a gallon.
But here's the kicker: the "coal" for coal oil was actually what we today call oil shale, which is a petroleum-bearing rock.
All we did was trade the source of the petroleum.
More HERE.