Title: The role of government in export expansion in the Republic of Korea