“Some people think Big Bend National Park was always a national park, but it was first established as Texas Canyons State Park in 1933 and later redesignated Big Bend State Park before becoming a national park in 1944.”