Resorts World, owned by Malaysian casino giant Genting, is