The oriental geography of Ebn Haukal, an Arabian traveller of the tenth century (1800)