Only 1.8% of TX is "owned" by the FedGov and I'm sure they want a much larger toehold, so they have room for their massive jack-boot!
Does the FedGov have ownership? It was settled between TX and OK decades ago as private land, titled to private citizens during the late 19th and early 20th century.
**********************************************************
See my post #51. The original boundary between Texas and Oklahoma was established by the Adams/Onis Treaty of 1819 between the USA and Spain.
Oklahoma and all of the Red River went to the USA, and Texas went to Spain. Even though private ownership of the land may be in question, it doesn’t get around the fact that constitutionally it should be.