What are a group of crocodiles call?

A group of crocodiles is called a bask or a float, not to be confused with a group of alligators which is called a congregation.