I printed off the documents for my upcoming cruise and I noticed it listed 2 twin beds combined to make one "Royal King".  What the heck is a "Royal King"?  Any bigger than a normal Queen?