Name the Portuguese prince and patron of sea expeditions who played a key role in the search for routes to Asia.