who was king of troy during the trojan wars?