Crime, punishment, and war