“In any case, decisions on troop levels in the American system of government are not made by any general or set of generals but by the civilian leadership of the war effort.”