UPDATE: 13 of 20 stranded hikers rescued at Devil’s Bathtub, crews still searching for the remaining seven