10.5 Two Population Means with Known Standard Deviations