# See ET_Independence_Korea.txt