Unfortunately, since they are not uniformed military, taking them out would be considered an assassination.
So what? Enemy leaders are legitimate targets in war. We would have killed Hitler or Hirohito if we could known where to drop the ordinance? We tried to kill Saddam in Desert Storm air raids.
And the assassination prohibition is a mere executive order issued by Gerald Ford. Trump can update it and rescind it in the same manner. No big deal.
So?