Feeding Japanese koi fish’