Zawały śledziony nie występują w przebiegu następującej choroby: