Nine years after a boat mangled a coral reef near Key West, Florida, the reef is back and thriving.