Pentagon: Counter-IS campaign costs $424 million