A shark at the Key West Aquarium