Should a future survey be made to determine the questions of boundary lines, and the south fork of Red River be declared the true line, the Choctaw Indians