Talk:1942 Texas Mines Miners football team