Does third and last position mean all money in HAL's portfolio is fully invested in this short? if yes, how does HAL account for margin calls?