News roundup: US industry expands with manufacturing making up for mining … FDA continues its quest against Big Tobacco with menthol ban … Disney investing in theme parks to offset TV, film challenges

Industry increases: U.S. industry expanded slightly in October, with manufacturing growth offsetting declines in mining and utility production. Industrial production grew a modest 0.1%, the fifth stra…