When constructing a Confidence Interval for the population mean and both the sample standard deviation and the population standard deviation are known, which of the following should be used?

When constructing a Confidence Interval for the population mean and both the sample standard deviation and the population standard deviation are known, which of the following should be used?