You seem to really want to file a 2019 amended return, but when you did that return "we were not sure if they permanently disappeared."

Claim the loss minus recovery in 2020.  If anything more is recovered in future years, claim it as income.