when Portugal ruled the world