Singapore reopens ports to cruise ships