who was king of troy during the trojan war?