(CNN) — In a remarkable stroke of luck, a man who was reported missing from the Carnival Valor cruise in the Gulf of Mexico was...