Question: A marine biologist wants to examine the length of a new type of shark. He suspects that the length of the shark follows a normal distribution. He manages to catch 13 sharks over the course of a year. The mean length of the 13 sharks is 100 inches with a sample standard deviation of 5 inches.

Make a 90% confidence interval for the true but unknown mean length of this species of shark.