Photos: 800-pound gator sets Texas record