Workers assembling the Jerome Library mural