Korea (North) is 84% larger than Sri Lanka.
Area: 65,610 km2 World Factbook
Population: 21,866,445 (July 2014) World Factbook
Sri Lanka, officially the Democratic Socialist Republic of Sri Lanka, is an island country in the northern Indian Ocean off the southern coast of the Indian subcontinent in South Asia. Wikipedia
Area: 120,538 km2 World Factbook
Population: 24,851,627 (July 2014) World Factbook
North Korea, officially the Democratic People's Republic of Korea, is a country in East Asia, in the northern part of the Korean Peninsula. The name Korea is derived from Goryeo, a dynasty which ruled in the Middle Ages. The capital and largest city is Pyongyang. Wikipedia