'Functionally extinct': After 10,000 years on the Florida coast, two key corals are dead

'Functionally extinct': After 10,000 years on the Florida coast, two key corals are dead