Korea's budget airlines carried 15.8 million international passengers in the first half 2023, surpassing major carriers for the third consecutive year.