以色列国防军：在德黑兰对一名伊朗高级指挥官进行了定点打击。