My client has been a US citizen for many decades. He has property in an European country. The European country wants proof he filed and paid taxes in the USA for each and every year (many decades). What should we ask for from the IRS? Thank you.