
So, should I:
A) put the fish out of his misery and flush him alive
B) wait for him to die and then take him out
C) let him die and then let the shrimp eat it?
Sorry, this is a bit morbid, but I've not been faced with this dilemma before. I don't want to harm the other inhabitants of the tank, since the rest are seemingly healthy.