The lifespan of crocodiles have approximately normal distribution with a mean of 18 years in a standard deviation of 2.6 years what proportion of crocodiles live between 17.5 years and 20.5 years