Carter's argument presupposes a determinate answer to ship identity before evaluating the competing ...