Retirement tax questions

I believe you may issue a 1099-R to your ex.  I think @Anonymous_  or @dmertz  will know the exact procedure.