I think they are in south florida somewhere. Do people normally keep crocodiles in alligators in the same ponds? Just wondering.