Question: how to remove a domain controller that is no longer available?
Answer: Log in to DC server as Domain/Enterprise administrator and navigate to Server Manager > Tools > Active Directory Users and Computers.
Expand the Domain > Domain Controllers.
Right click on the Domain Controller you need to manually remove and click Delete.