Can someone help me id this fish please. They look like mini koi's. [Ive always wanted a Koi pond but I have no $$$ for one so I pretend these are kois ]