We have three domain controllers. The original is running Windows 2008 r2. The other two were added later and are running Windows 2019. All three are setup with global catalog and we only have one domain. We now want to decommission the older Windows 2008 server. Is it as simple as deleting it via active directory or do we need to run DCPROMO on the older server?