Which distribution should be used for a population mean hypothesis test if the population standard deviation $\sigma$ is known and the sample size is $n = 45$?