727-pound gator snagged one hour after 723-pound gator breaks record