El complejo turístico fue conocido anteriormente como The Aladdin.