ギネス記録が取り消されていた、ビリー・ミッチェル氏のドンキーコングとパックマンが訴訟によって復活へ