A distância entre os muros laterais de um lote retangular é exatamente 12 metros. Sabendo que uma diagonal desse lote mede 20 metros, qual é a medida do portão até o muro do fundo?