What would have happened, had Philip II decided to make Lisbon the capital of his empire, during the time that he controlled Portugal?