Played in a tournament this weekend, one of the games ended with one player losing all of his ships but having more points than his opponent due to victory tokens. We scored it as a 5-5 since the Tourney packet declares the player who has ships remaining as the winner, but what does this do to tiebreakers etc? Did we score this right?