Carnival stock jumps after cruise operator reports record revenue ยท Digg