Little Round Top, Devil’s Den closing