Hi all. I'm trying to setup AWS RDS secret rotation. The code generated by Pulumi AI below refers to a lambda:

# Setup automatic rotation every week
rotation = secretsmanager.SecretRotation("rotation", 
    rotation_lambda_arn="arn:aws:lambda:us-west-2:123456789012:function:SecretsManagerRotationFunction",
    rotation_rules={
        "automaticallyAfterDays": 7
    },
    secret_id=rds_secret.id,
    rotation_role_arn=rotation_role.arn)

How do I create the lambda based on the code provided by AWS?