What known animals (described genera) coexisted with protosuchus