what family of asteroids does 158 koronis belong to?
(AND astronomy.asteroid_family (JOIN astronomy.asteroid_family.founding_asteroid_family_member m.037x_0))