"Pyramid lake is on the Paiute Indian Reservation in Nevada. The lake is famous for cutthroat trout. Suppose a friend tells you that the average length of trough caught in Pyramid Lake is mu = 19 inches. However, the Creel Survey reported that of a random sample of 51 fish caught, the mean length was x-bar = 18.5 inches, with estimated standard deviation s = 3.2 inches. Do these data indicate that the average length of a trout caught in Pyramid lake is less than mu = 19 inches? Use alpha = 0.05."