Did you hear the news? Royal Caribbean International got the go-ahead from the government of Singapore to resume cruise operations from the city on December 1! The…