FT. HOOD: Name of deceased soldier from July 25 shooting released