Texas State Highway 80 (pre-1939)