CNN: Who was Mike Lynch, the tech entrepreneur among the missing after a superyacht sank?