auxiliary military pioneer corps - war diaries