Is this Texas' worst defeat in the history of the Red River Rivalry?