[CodeWriter23]

I think you need to do both. The sea stars will continue to consume the coral until the problem is solved at the source, possibly for a long enough time that the reef is consumed in its entirety.