Это -- Петрополис, пригород Рио-де-Жанейро, который был летней резиденцией бразильских императоров (до 1889 года Бразилия была империей), он назван в честь императоров Бразилии, которые оба носили имя Педро. Раньше в этот город приезжали играть в казино, но сейчас казино здесь уже нет.