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?
(A) normal distribution using the sample standard deviation
(B) normal distribution using the population standard deviation
(C) student-t distribution using the population standard deviation
(D) student-t distributuion using the sample standard deviation