Quantifying counterfactual military history. (2023)