Talk:1935 Texas Mines Miners football team