a mat is used for judo.