The roughly circular deep depressions, typically found in shallow carbonate platforms, formed during past ice ages when the sea level was up to 100–120 m (330–390 ft) lower than at present are a favourite target of extreme divers. What are they called?