Is trip hawkins still alive