IBCCounterParty: {
    channel_id: IBCChannelID;
    port_id: IBCPortID;
}