Thromboembolism complicating Holter valve shunt. A clinicopathologic study of four patients treated with this procedure for hydrocephalus.