Does anyone know which luxury pre-cruise hotel(s) have been used by Regent in Miami? Thanks in advance.