Data show a corporate-cash shift out of agency bonds in October