Anti-war propaganda musical set on an ocean liner.