K-type main-sequence stars