Gunman kills 20 at Texas Walmart store in latest US mass shooting