Suppose John wants to open a learning center for high school students in his community. John wants to compare the average time area high school students spend studying per week with the regional average, 18.9 h. John surveys 20 randomly selected local high school students, asking how much time they spend studying in a typical week. Although he does not know the standard deviation of the underlying population, he is confident that the population is normally distributed because other studies indicate that study times are normally distributed, and graphs of his sample data indicate normality. Choose the correct test procedure that John should use to test if the mean weekly study time from his sample differs from 18.9 h.