Who should Gov. Deval Patrick appoint as interim U.S. Senator?