Workman, J. Harvey (Orange County)