He'll pay the tax on the 2019 return. That gives you time to research "claim of right" for the 2020 return.
