KoSimpleQA: A Korean Factuality Benchmark with an Analysis of Reasoning LLMs