A project to migrate a company's email system has just received formal sign-off from the customer, and all resources have been released. The project manager now needs to produce a document that summarizes the project's overall performance, including how it performed against scope, schedule, and budget baselines, and confirms that all objectives were met. Which document should the project manager create?