以色列国防军：完成对德黑兰东部军事设施的打击。