S. Korea shipyards see record exports