Ex-Navy sniper, another military vet killed at Texas gun range