If a raft is to be released manually, where should the operating cord be attached before throwing the raft overboard?