Talk:1940 Texas Mines Miners football team