Israeli security forces made a list of thousands of militants who participated in the Oct. 7, 2023, attacks. One by one, they are being tracked down, captured and killed. https://on.wsj.com/4nIqG82