Users can be merged so you can change the username of one anonymized user to deleted_user as @Don suggests, then merge all other anonymized users into deleted_user.
When you want to do this in future, anonymize the user first and then merge into deleted_user. It’s important to anonymize the user first because the account being merged into will take on the email address as its secondary email address.