Photos: Record breaking gator caught in Texas