The Portuguese in West Africa, 1415–1670