WORLD CITIES: This port city of over 5.5 million people is called Rio for short