Edward Gibbon — painting by Henry Walton