Flash flooding in Tornillo Creek in Big Bend National Park on September 10, 2015