What is the standard error of the mean if the population standard deviation is $\sigma = 10$ and the sample size is $n = 25$?