In the 1400s, this man helped Portugal take an early lead in exploration by providing money to study navigation, develop better boats, and encourage voyages along the coast of Africa. Who was he?