Royal Caribbean leaked information regarding the size of its Discovery-class ship.