Blue monkey or diademed monkey, Cercopithecus mitis Wolf, 1822 of the Rwenzori Mountains / Uganda