10.2 Two Population Means with Known Standard Deviations