Petrie–Coxeter polyhedra