لیفٹیننٹ جنرل عاصم ملک نے ڈی جی آئی ایس آئی کی ذمہ داریاں سنبھال لیں، ذرائع