Also I am starting to question if this was actually a Cuban crocodile with recent news of the zoos Philippine crocodile passing back in spring. Not exactly an expert, and while I remember the signage at the time being for Philippine crocodile, on my next visit it was switched to Cuban crocodile and the animal looked the exact same to me.
@Andrew_NZP Honestly it looks more like Cuban to me. Was this inside the House? I remember back in winter they had Cubans in two enclosures indoors while the Philippine was in one of the greenhouse-type exhibits outdoors in the back.