when was the 8th edition of the world taekwondo championships , featuring the athlete named michael arndt ?
1987 world taekwondo championships