mural by Richard Haas depicting Lucius Quinctius Cincinnatus, painted on the centenary of Kroger's first opening