80s vintage Christmas coffee mugs w/ Santa Claus & holiday ribbon, made in Korea ceramic cups

Lot of two vintage Korea ceramic coffee cups with holiday designs, both about 3 1/2" tall. These are in very good clean condition without damage or wear.