જોકે, ટ્રમ્પે માર્યા ગયેલા આતંકીનું નામ જાહેર કર્યું નથી.