What is COAL OIL?

COAL OIL — Oil that can be obtained by distilling bituminous coal.