The distribution of weekly salaries at a large company is reverse J-shaped with a mean of $1000 and a standard deviation of $370. Suppose you want to calculate the probability that the sampling error made in estimating the mean weekly salary for all employees of the company by the mean of a random sample of weekly salaries of 80 employees will be at most $75. Which distribution would you use to solve the problem?