South Korea Proposes Record Budget to Double AI and Chip Spending in 2027