koi—a colorful ornamental carp, often kept in garden ponds