The immense nuclear-powered US aircraft carrier Carl Vinson has powered into Vietnamese waters, the first such visit since the end of the Vietnam War. The BBC's South East Asia correspondent ...