[Dobbs]

It is correct in so far as Trader == tradesmen. But it isn't some "politically correct" thing. Also attributing political correctness to terms is often a political move in and of themselves.