Coal oil that burned cleanly enough to compete with whale oil was first produced by James Young