when creating customer api keys for api gateway, would I do that through Pulumi or does it make more sense to use the AWS Console