After election judge's mistake, Mayor Quinton Lucas casts primary vote