Neun Pools, 28 Restaurants. Royal Caribbean baut nächsten Ozean-Riesen