Del Mar City Council passes vaccine mandate for city workers