I would favor a separate exclosure and basin for American crocodile Crocodylus acutus.
In the current times the wild status of the American crocodile reserves more attention.
How large is the US/AZA American crocodile population (assuming all or the majority of these are Floridan/US in origins. There is a difference with Meso-American (Mexico, Costa Rica and others), Caribbean (Jamaica and Hispaniola) and Cuban populations and the South American populations (Venezuela, Colombia and Peru).
@Kifaru Bwana This thread lists only 14 holders - Crocodilians in American Zoos (there's an additional two holders after the catch up list). I'm sure there's probably some others out there. No clue on what the number of individuals looks like but I'm sure many of those places hold more than one.