When a 7 is rolled and the pirate is moved, do all players discard half their cards or only those with more than 7? — CATAN FAQ | RulesPal