mythological king of Libya — mythological ruler of Libya