Portea petropolitana v. extensa