“La longitud del pórtico veinte codos, y la anchura once codos, al cual subían por gradas; y había columnas junto a los postes, una de un lado, y otra de otro.”