South Korean Pension Fund Buys $34 Million in MicroStrategy Shares