David Lynch: dead at 78