In an AWS serverless application with a Lambda function interfacing with an Amazon RDS PostgreSQL database, how should a developer manage and regularly rotate database user credentials using AWS Secrets Manager to maintain high availability without application downtime?