new guinea crocodile Synonyms