Galaxy Entertainment Group, one of Asia’s leading developers and operators of integrated entertainment and resort facilities and a member of the Hang Seng Index