Which body runs the KOSPI market and the KOSDAQ market?

• The Korea Financial Telecommunications and Clearings Institute
• The Korea Exchange
• The Bank of Korea
• The National Pension Service

Without signing in you can answer just this one question.