Oh huh. Switched over to the basketball. I didn’t realise Puerto Rico had a separate Olympic team. I think this is the first time I’ve seen them this Olympics. I mean it makes sense. China has two teams, one for mainland one for Hong Kong. Bermuda competes separate from GB (not to mention Northern Irish athletes mostly compete for the Irish team, though they have the option of either GB or Ireland). It’s just not something I’ve noticed before.