Home World News Shark off menu at Marina Bay Sands