Texas-OU rivalry might end