BitMixer maybe?
BTC-e most probably.
$4 *BILLIONS* laundered? An exchange or.. yeah maybe bitmixer, but I bet on btc-e
You don't really launder money with a mixer, on the contrary... no matter what you input to it, the output is "black cash" as it breaks the trace of its origins.