As if the history of the dollars used is relevant. Chase money far enough and 90% of US bills have some trace of cocaine. Should we avoid any and all donations because it's drug money?
> Presumably the donations were of money that he made at work.
And? It's his money at that point, is it not? Isn't "work" trading labour for money? While working you abide by the rules and principles of your employer and outside of that, you operate by your own principles.