You are entirely correct. Power between different AC regions is mostly transferred using HVDC-links because it avoids synchronisation requirements between them.

Additionally the capacitive losses of an undersea HVAC cable are prohibitive, leaving only HVDC as an option.