Army veteran carried children to safety during El Paso Walmart shooting