We are planning 7 day cruise down the coast of Vietnam and we will be stopping for Hanoi at Halong Bay. There are supposedly several ports at Halong Bay. Does anyone know which port Royal Caribbean will dock? We have a tour set up and they are asking for the name of the port. Would appreciate any insight! Thank you!