What role did Thailand play in the war?