intelligence corps - mentioned in despatches