You measure 20 dogs' weights, and find they have a mean weight of 64 ounces. Assume the population standard deviation is 11.5 ounces. Based on this, construct a 95% confidence interval for the true population mean dog weight.