Ludwig Krapf recorded the name as both ''Kenia'' and ''Kegnia''. Some have said that this was a precise notation of the African pronunciation . An 1882 map drawn by Joseph Thompsons, a Scottish geologist and naturalist, indicated Mt. Kenya as Mt. Kenia. The mountain's name was accepted, pars pro toto, as the name of the country. It did not come into widespread official use during the early colonial period, when the country was referred to as the East African Protectorate. The official name was changed to the Colony of Kenya in 1920.