Inauguración oficial del Canal de Panamá.