Good job, however asking for a "third largest city" is a bit problematic. There are tons of sites that have very different numbers. Then there is the "city proper", "metro" and "urban area" ways of counting the population. I had to go the long route before finding Salvador. Wikipedia lists Brasilia as the 3rd largest city, by the way.