Korea (South) is 17 times larger than Distrito Federal (Brazil).
Area: 99,720 km2 World Factbook
Population: 49,039,986 (July 2014) World Factbook
South Korea, officially the Republic of Korea, is a country in East Asia, constituting the southern part of the Korean Peninsula. The name Korea is derived from Goryeo (also spelt Koryo), a dynasty which ruled in the Middle Ages. Wikipedia
The Federal District, is one of 27 federative units of Brazil. Located in the Central Plateau of the Brazilian Highlands, the Federal District is divided into 31 administrative regions, and contains the Brazilian capital city, Brasília. Wikipedia