View Namesake: Irene de Kok
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.