I have read that they can be aggressive to other shrimp. Does this aggression end up in dead shrimp? I was thinking about getting a coral banded, but would also like a cleaner and some peppermint shrimp down the road. Is this going to be a one or the other type deal? I'm trying to get a shrimp crew in my tank now that I have removed the hawkfish. Thanks!