The sub that cut the cables was owned and operated by the Royal Navy! The US Navy team that was also there had two of the exact same ROVs, so there is the source of your confusion, Victor!