what river forms part of the border between oklahoma and the us?