Talk:1947 Texas Mines Miners football team