Title: Effects of military development on economic growth in North and South Korea, 1945-1980