Five lessons from the expansion of the Panama Canal