Punisher was an FBI agent