who was the king of troy durig the trojan wars?