Simply file at tax season using the appropriate 1040 loss
Form. I highly doubt They’ll be back by then and more than likely they’ll never be back, so you might as well claim the loss.