Existing users should receive mail at a second domain without creating duplicate accounts for everyone. Which approach best fits?

1. Configure a Google Group as a Collaborative Inbox with appropriate permissions.
2. Add and verify a secondary domain with the appropriate user provisioning.
3. Create buildings and calendar resources with accurate attributes and booking policies.
4. Add and verify a user alias domain where supported.