US fight against ISIS edges toward $4 billion