Apologies - it was moving too fast! Anyway, the hammerhead was roughly four or five feet long. All I know is that it wasn't the other species on display at the aquarium, the scalloped - those were found in the Shipwreck area.
Thanks in advance!
EDIT: After searching some more on the internet, I have found that they are bonnethead sharks.
Bonnethead if closer to 3 feet; if much bigger then I'd guess small scalloped hammerheads. Looks quite slender though, so I think bonnethead is most likely.
I just visited this facility earlier this month and here are the 20 species in the tank (according to the revolving touch screen sign): Scalloped Hammerhead Shark (one of only 3 aquariums in the U.S. with the species), Sand Tiger Shark, Sandbar Shark, Galapagos Shark, Nurse Shark, Grey Reef Shark, Whitetip Reef Shark, Zebra Shark, Green Sawfish, Bowmouth Guitarfish, Green Sea Turtle, Green Moray Eel, Southern Stingray, Tarpon, Fiji Devil Damsel, Lookdown Fish, Crevalle Jack, Giant Trevally, Blue Runner Jack and Creole Fish.