How to provide a custom domain name for a Lambda-based APIGateway in CDK?

Question

For the purposes of this question, assume that I already have an example.org Hosted Zone in Route53 (my actual zone is, of course, different)

With the follow