On the potassium-catalysed gasification of a Chilean bituminous coal