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