以色列国防军：刚刚在贝鲁特精准打击了一名真主党高级武装分子，具体细节将随后公布。