If the war in Europe had lasted a few more weeks and instead of ending in early May the war had ended by the end of the month, what would have happened to Manchuria?