animal - is the most expensive koi ever sold , dollar