Big Bend is a national park in Texas.