He has to report the distribution, if he took it, but you can answer No to a question If the distribution was RMD. You won't be penalized since the IRS waived the RMD for 2020.
