For South Korea it's not normal HDTV but a special broadcast for mobile devices, DMB [1]. It was only recently updated to support 720p in favor of 240p. They aren't picking up the domestic ATSC signals. The Japanese mobile video system is a similar separate broadcast.

https://en.wikipedia.org/wiki/Digital_multimedia_broadcastin...