"Koi carps bred outside of Japan live on average 15 years, while the average age of Japanese koi is 40 years and the oldest recorded lifespan is 226 years (the Koi named Hanako lived from 1751 to 1977)."
#45 There may be many of them, but there was one in Madison, WI back in the 80’s.
I've been to the one in Milwaukee. Didn't know there was one in Madison as well.