what is the king of troy during the trojan war?