¿Con qué rey pasó Portugal a formar parte de la monarquía española?