Petrópolis | Imperial City, Mountain Town, Imperial Residence | Britannica