Which router ID is correct for OSFPv3?