The design of water markets when instream flows have value.