# of Trump mentions at DNC day 2?

This is a market over how many times "Trump" will be said at the DNC today.