Photos | 800-pound gator sets Texas record