What was the name of the officer that arrested Ted Bundy in Florida?

On February 15, 1978, Officer David Lee stopped Bundy on a possible traffic violation. When running the plates he discovered the car* was stolen. There was a brief struggle but Officer Lee finally cuffed Bundy and booked him into a Pensacola jail cell.