Definition of one shar'ee mile