I wasn't sure and therefore didn't want to label the photo. There are at least 2 big Cuban crocodiles elsewhere in the zoo, but these are probably a more common variety.
They appear to be juveniles. Miami is well known for its crocodilian collection and breeding success. However, most of the collection is behind the scenes.
I cannot exactly identify the species - but Miami was keeping Orinoco crocs and Tomistoma behind the scenes, when I visited 2 years ago. The crocs on the photo doesnt look like C.intermedius to me and its definately not Tomistoma, lol....