What's this about HVDC, Moon? I'm aware of the problems with AC underwater cables but I was unaware that they had progressed far with DC. Still sounds horrendously expensive.