Cinco días, 9 buques y peaje récord: las cifras del Canal ampliado de Panamá