Judoka are people who play judo.