Tyrimmas, King of Dodona — mythical character in Greek mythology