Crocodiles - types and names