king of Phocis — mythological ruler of Phocis