The popular shark aquarium of the Ocean Park.
(Courtesy of Ocean Park)
