IRA/Roth accounts distribution taxation in Portugal

My family and I moved from the US to Portugal in July 2022, and have about 8 years of NHR left. Our plan is to slowly convert our IRAs to Roths to fund our early retirement. The amount converted in a given year is listed as a distribution in our US tax form and is taxed accordingly in the US. This same amount can then be removed from our Roth account after 5 years to fund our retirement. Am I correct in assuming that since this amount has already been taxed during the conversion process in year 1, it will not be taxed again when we withdraw the exact amount in year 5 and move it to Portugal? The tax filings and related tax forms will show that taxes on this have already been paid in the US and that we are only withdrawing the contribution amount and not any associated capital gains.