How Much Does it Cost to Short Sale a Stock Index