US stocks begin October mixed as government shutdown avoided