Does Pulumi's AWS Crosswalk API Gateway generate Swagger? For example, can it generate a JSON if I type in: https://<some aws url>/Stage/swagger/swagger.json?