A how-to for linking an AWS API Gateway REST API to a Step Function using Amazon’s CDK