DNS record for cognito user pool domain

I don’t see anything in the documentation that suggests I can get the DNS record for the Cloudfront distribution that is created with a new aws_cognito_user_pool_domain, when creating one for a custom subdomain. What I’d like to do is create the aws_cognito_user_pool_domain and generate the associated aws_route53_record from the cognito user pool. If this isn’t possible, I’ll create a request on the github page for the AWS provider.

Thanks in advance!