Trump did not identify the IS planner or say whether that person was killed in the strike. White House officials did not immediately respond to requests for comment.