Ohio votes at the Republican National Convention