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