Movies featuring "first-indochina-war" theme.