what make/brand is this dist

Using my crystal ball, I believe it’s a WAIglobal DST3890 ignition distributor.