Record growth for South Korea ship builders