Is War Bad for the Economy?