what is the name of the asteroid that is part of the koronis family?
(AND astronomy.asteroid (JOIN astronomy.asteroid.member_of_asteroid_family m.0bs6jv))