Double-decker vessel