Lebanon: ISIS leader killed and 10 arrested near Syria’s border