A name for John’s list of African leaders: Moktar Ould Daddah, liberator of Mauretania.