Completing the basement of the Sonoma County Public Library, Santa Rosa