20171102 world.us: Three killed; one injured in Colorado Walmart shooting