king of Elis — mythological ruler of Elis