Каково прежнее название CNX Resources?

Я пытаюсь узнать предыдущее название CNX Resources. Я знаю, что компании иногда меняют свои названия по разным причинам, например, в результате слияний, поглощений или ребрендинга, и я хочу знать, как эта компания называлась раньше.