They mystery of the gulf's 'blue holes'

They were first discovered by commercial fishermen and divers decades ago. There are at least 20 blue holes off Florida's coast, but nobody knows how many there really are.