Имя какого человека мы узнали только благодаря тому, что историк Феопомп нарушил постановление суда?