Hikers take in the view at the top of the Lost Mine Trail in Big Bend National Park on December 19, 2023 in Brewster County, Texas. CREDIT: Paul Ratje for The Wall Street Journal BIGBEND