پنج مامور سرویس اطلاعاتی سودان در یک عملیات ضد تروریستی کشته شدند