Cruise passenger who jumped to death from ship ID’d as Florida resident

Cruise passenger who jumped to death from ship ID’d as Florida resident