¿Cuántos hombres participaron en la construcción del canal de Panamá?