which stars have a spectral type of k5iii?
(AND astronomy.star (JOIN astronomy.star.spectral_type m.0hnfm85))