Ocean cruises are big business, and one of the largest companies in that space is Royal Caribbean. How many ships are in its ...