الجيش الإسرائيلي: نفذنا عملية دقيقة أسفرت عن مقتل القائد العسكري البارز علي شادماتي.