The website www.mlb.com compiles statistics on all professional baseball players. For the 2017 season, statistics were recorded for all 663 players. Of this population, the mean batting average was 0.236 with a standard deviation of 0.064. Would it be appropriate to use this data to construct a 95% confidence interval for the mean batting average of professional baseball players for the 2017 season? If so, construct the interval. If not, explain why it would be inappropriate to do so.