Anatomy of a Bitshares DEX short