Red River Rivalry Goes to 4 Overtime Periods, and Football Fans Lose It