800-pound gator sets Texas record