TRAVEL & TOURISM: This cruise line's flagship is its sixth to bear the name Rotterdam