I can see at least 2 ways the forced cover order working:
1. cover as much as possible of the position at whatever the best ask is (leaving potentially part of the position not covered).
2. cover at price Pc <= price that will cover the whole short position (leaving potentially the whole order unfulfilled until a point in time that the price of bitAssets is below or equal to Pc).
Which one of those it is gonna be, or explain if it is supposed to be something different.