20160502 world.us: First US cruise ship bound for Cuba in 50 years sets sail from Miami