Noted Navy SEAL shot, killed at North Texas gun range