Last night when i got home my red tail shark was gone. My koi had to of eaten him. Is this normal? They have been in the same tank for about 7 months?