who was the king of troy during trojan war?