Thomas Portal, Mathies Coal Company