Portrait of John Gerry — painting by Joseph Badger