MIRO, MIRO ON THE WALL: The huge mural that Miro painted for a hotel in this southwest Ohio city in 1947 is now owned by the city's art museum