I have read that some people have had success with the IRS and/or Marketplace giving out the necessary information. 

Otherwise, the other two options it to file it without and have the IRS make the proper adjustments, or the taxpayer can contact their divorce attorney.