CK Hutchison has sold its shares in the Panama Ports Company, which operates the ports