The dispute with Texas over which branch of the river counted as the state boundary went all the way to the Supreme Court, but in the end Oklahoma won and Greer County, Texas became three counties in Oklahoma. Name the river.
Red River