Donald Trump # of tweets Oct 18-25?

This is a market on the number of tweets posted by Donald Trump between October 18 and October 25.