Never mind - the commandante's camp is still around. I was just looking in the wrong place.

Still wish they'd be more straightforward about what actually happened, though.