Las Cruces mayor not a finalist for county manager's job