I would ignore the casualty aspect and just record the sale as is.  The loss is the same whether it is a casualty or simply a normal loss on the sale of a rental property.  If the loss generates an NOL then you can carry it back, either using Form 1045 or filing a 1040X.