does horatio die in hamlet