Se utilizaron setecientos obreros que realizaron la tarea en nueve días.