I was going to bring all of these up if nobody had yet. They’re probably the best examples I’ve seen, and what’s especially nice is every one of those exhibits is well suited for their residents even if they’re all indoors (I haven’t actually seen Virginia’s Komodo habitat but I assume it’s at least as nice as the one at Shark Reef). I’d also add that Shark Reef has, I believe, two Johnston’s crocodiles (C. johnstoni), even if that is something you might expect a bit more at an aquarium.
This facility is one of the few I’ve been to that I truly detest. It’s ancient and decrepit and not in a “preserving aquarium history” way, purely in a “ownership has no interest in spending money on legitimate animal welfare” way. One hopes that someday someone higher up will throw that business model to the wayside. The atrium at least was large and gave the birds plenty of room and enrichment it seemed. If any US resident or international visitor with interest wishes to see rough-toothed dolphins, I highly recommend not wasting your time at Gulf World and instead visiting the Clearwater Marine Aquarium.