Donald Trump # of tweets Oct 11-18?

This is a market on the number of tweets posted by Donald Trump from October 11 to October 18.