The Ethics of Programming Robots for War