Traced *-autonomous categories are compact closed