is the red river in texas or oklahoma