How to verify receipt of mailed tax return

My son is active duty military and was deployed the first 7 months of 2020. He filed his 2019 taxes by mail in Dec. 2020.  He has yet to receive his refund; logging into the IRS account shows no evidence that they have his 2019 return. What can he do to verify that the IRS has this return? 

 

We discovered this because he tried to e-file his 2020 return. The IRS can't match his 2019 AGI that he submitted with the 2020 return.

Thank you!