Carnival stock jumps after cruise operator reports record revenue · Digg