以色列国防军：当天对伊朗首都德黑兰发动定点打击，打死两名伊朗情报部门高级官员。