Navigare necesse est vivere non est necesse meaning