$TWTR Trump will be buying puts on TWTR.