Florida's mystery coral-killer identified