South Korea Taps ₩25 Trillion Budget as Hormuz Crisis Roils Energy Markets