World War II and Indochina