¿Qué son 100 varas? Aún podrían construirse barcos mucho mayores.