Choir singing at Robert R. Martin's Inauguration