If you look carefully you can see a sharp snout, not a broad one so those would be crocodiles. Specifically, those are Morelet's Crocodile and you can tell by the stripes on their sides that go down like stairs. Dallas Aquarium has a really interesting history about forging the way for zoos to hold new species, I really suggest you read up about it.
