Florida executes Richard Barry Randolph by lethal injection for 1988 murder, setting record with 17th execution this year under Gov. Ron DeSantis.