During that time, the Marina was known as the MGM-Marina Hotel.
Pada waktu itu, Marina dikenal sebagai MGM-Marina Hotel.