Irene de Kok
Surname(s): de Kok
Birth Date: 1963 August 29
Birth Place: Eindhoven, the Netherlands
Description: At the 1992 Summer Olympics in Barcelona, she placed third (and thus won the bronze medal) at the women's 72 kg judo competition.