HD Hyundai Marine Solution doubles in South Korea’s largest IPO since January 2022