Should a new Grand Forks Public Library be downtown?