Talk:1937 Texas Mines Miners football team