Leon also holds the overall state record with an 18-foot-8-inch python he caught in 2013. Jason Leon, who snagged this 17-foot python, also holds the Florida state record.