$TIA was listed on the Korean Exchange, Koreans are buying, and nationals are selling