I searched the Portal to Texas History and could not find one but you may be interested in what they have there concerning coal mines. Here is the link: https://texashistory.unt.edu/search/?q=coal+mines+texas&t=fulltext&sort=&fq=