shorting trump over $7 down to $6 was nice but I wonder how would it feel to short it from $6 down to $5