Workmail user and email address doesn't show up in the Workmail console but can't be recreated

A certain user doesn't show up in the Workmail AWS console but can't be created because an error message says the user already exists. This means the user's password can't be reset which means the mailbox can't be accessed as the password for the account is unknown. The user's email address isn't being used as a group address either.

Anybody seen this happen and been able to resolve it?