I've visited Flamingo a number of times and never seen crocs in its dock area although I've seen countless photos of crocs there, including many of an enormous toothless male who seemed a locked in certainty to be there. On my most recent trip I took a boat trip a little deeper into the 'glades and was rewarded with the sight above - a small American crocodile.
This shot shows it narrow head pretty well which clearly distinguishes it from the broad snouted florida gator. American crocs get pretty big in the warmest parts of their range - supposedly pushing the 20 foot mark but the biggest US specimens seem to top out at the same size as gators; around 14 foot. The crocs are apparently far more weather dependent than the gators which is probably at least part of the reason they do not cover the same range as the gators and likely limits their size in Florida.
I was a little disappointed this was my sole sighting but to tell the truth, I'm just delighted to have connected after missing out repeatedly even if it was with a baby. This guy still has a lot of growing ahead of him and perhaps the next time I pass through he'll be a 12 footer and the Florida crocodile will be almost as famous as those gators.