I'm confused. Is Pedro participating in this year's Olympic Games? I don't see him on the medal board. Did he get removed, like Russia?