Does anyone know which terminal Adventure of the Seas is likely to use when stopping in St. Thomas?