Answer
Yes — deleting the IAM User record is the correct approach whenever the underlying identity provider configuration changes for a user (such as an AD domain rename). Once deleted, the next successful login automatically creates a new, correctly-linked IAM User account reflecting the current IdP identity, which then shows up on the User Details screen in place of the stale one.