Mike Cairns Blog: Creating an API Gateway via AWS CDK