Abductive Inference for Combat: Using SCARE-S2 to Find High-Value Targets in Afghanistan