who was the king of troy when the trojan war was going on?