Bayesian Estimation of the Mean of a Normal Distribution when the Coefficient of Variation is Known