11.   Thirteen commandos, including three of officer rank, were killed along with three civilians, apparently serving as guides on a routine patrol.

12.   The official stressed that the joint training operations would involve only troops below officer rank.