The Portuguese in West Africa, 1415-1670: A Documentary History