Portugal’s seafaring heyday