As US cruise industry delays operations until November, thousands of seafarers remain stranded