Where does “Petrópolis” come from?

Words derived from “Petrópolis”